Harald Ganzinger (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war von 1991 bis zu seinem Tod Direktor der Arbeitsgruppe „Logik der Programmierung“ am Saarbrücker Max-Planck-Institut für Informatik. Harald Ganzinger gehört zu den meistzitierten deutschen Autoren in der Informatik und befindet sich auf Platz 1727...